Simulation of Zeno Hybrid Automata 1 2
نویسندگان
چکیده
Zeno hybrid automata are hybrid systems that can exhibit in nitely many discrete transitions in a nite time interval. Such automata arise due to modeling simplications and may deteriorate simulation e ciency and accuracy considerably. Some basic properties of Zeno hybrid automata are explored. Possible ways to extend a simulation beyond the Zeno time are suggested.
منابع مشابه
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad-hoc restrictions to circumvent Zeno behavior or to abandon hybrid automata. To address this problem, we take a fresh l...
متن کاملOn the Stability of Zeno Equilibria
Zeno behaviors are one of the (perhaps unintended) features of many hybrid models of physical systems. They have no counterpart in traditional dynamical systems or automata theory and yet they have remained relatively unexplored over the years. In this paper we address the stability properties of a class of Zeno equilibria, and we introduce a necessary paradigm shift in the study of hybrid stab...
متن کاملBeyond Zeno: Get on with It!
In this paper we propose a technique to extend the simulation of a Zeno hybrid system beyond its Zeno time point. A Zeno hybrid system model is a hybrid system with an execution that takes an infinite number of discrete transitions during a finite time interval. We argue that the presence of Zeno behavior indicates that the hybrid system model is incomplete by considering some classical Zeno mo...
متن کاملOn the Existence of Executions of Hybrid Automata
Necessary and su cient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that can exhibit in nitely many discrete transitions in nite time.
متن کاملConsidering Superposition in the Composable Hybrid Automata
In the existing abundance of different hybrid automata formalisms concurrent composition is seldom considered or requires additional semantics which is not always defined. This work considers three common reasons of problems with hybrid automata composition: contradicting resets in the discrete transitions, global time reference with contradicting initial conditions and redundant non-determinis...
متن کامل